Fer-Jan de Vries: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Infinitary lambda calculus and discrimination of Berarducci trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

2

Intersection types for λ-trees

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

3

Böhm's Theorem for Berarducci Trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.33 MB

2000

4

Reasoning about update logic

Jan van Eijck, Fer-Jan de Vries

Journal:

Journal of Philosophical Logic

Year:

1995

Language:

english

File:

PDF, 1.06 MB

english, 1995

5

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Pure type systems with corecursion on streams

Severi, Paula G., de Vries, Fer-Jan J.

Year:

2012

Language:

english

File:

PDF, 671 KB

english, 2012

6

The infinitary lambda calculus of the infinite eta Böhm trees

SEVERI, PAULA, DE VRIES, FER-JAN

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 558 KB

english, 2017

7

Dynamic Interpretation and Hoare Deduction

Jan Van Eijck and Fer-Jan De Vries

Journal:

Journal of Logic, Language and Information

Year:

1992

Language:

english

File:

PDF, 3.54 MB

english, 1992

8

Pure type systems with corecursion on streams

Severi, Paula G., de Vries, Fer-Jan J.

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 671 KB

english, 2012

9

Reasoning about Update Logic

Jan van Eijck and Fer-Jan de Vries

Journal:

Journal of Philosophical Logic

Year:

1995

Language:

english

File:

PDF, 1.83 MB

english, 1995

10

Comparing Curried and Uncurried Rewriting

RICHARD KENNAWAY, JAN WILLEM KLOP, RONAN SLEEP, FER-JAN DE VRIES

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 655 KB

english, 1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски